#define HALGLOBAL_HEAD

#include <inctypes.h>
#include <incctrls.h>

KRL_DEFGLOBAL_VARIABLE (kmempool_t, oskmempool);
KRL_DEFGLOBAL_VARIABLE (devtable_t, osdevtable);
KRL_DEFGLOBAL_VARIABLE (drventry_t, osdrventrytbl)[] = 
    {
    drv_systick_entry,
    drv_rtc_entry,
    drv_ramfs_entry,
    NULL                /* END OF TABLE */
    };
KRL_DEFGLOBAL_VARIABLE (drvexit_t, osdrvexittbl)[] = 
    {
    drv_systick_exit,
    drv_rtc_exit,
    drv_ramfs_entry,
    NULL                /* END OF TABLE */
    };
KRL_DEFGLOBAL_VARIABLE (ktime_t, osktime);
KRL_DEFGLOBAL_VARIABLE (schclass_t, osschclass);
